1. Trace theory for automatic hierarchical verification of speed-independent circuits
پدیدآورنده: David L. Dill
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Switching circuits,، Integrated circuits - Very large scale integration,، Sequential machine theory
رده :
TK
7868
.
S9
D55
1989
2. Trace theory for automatic hierarchical verification of speed-independent circuits
پدیدآورنده: David L. Dill.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Integrated circuits -- Very large scale integration.,Sequential machine theory.,Switching circuits.
رده :
TK7868
.
S9
D385
9999
